Leipzig University

Results: 264



#Item
141Type theory / Dependently typed programming / Computability theory / General topology / Net / Inductive data type / Constructible universe / Inductive reasoning / Linear logic / Logic / Mathematical logic / Mathematics

Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
142Mathematical logic / Rewriting / Monotonic function / Monotonicity criterion / Abstraction / Mathematics / Formal languages / Logic in computer science

Dependency Pairs are a Simple Semantic Path Ordering Nachum Dershowitz School of Computer Science, Tel Aviv University Ramat Aviv, Israel

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:12
143Abstract algebra / Combinatorics / Permutation

Partial Status for KBO Akihisa Yamada1 , Keiichirou Kusakari1 , and Toshiki Sakabe1 1 Graduate School of Information Science, Nagoya University, Japan

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
144Line graph / Connectivity / Matching / Neighbourhood / Power graph analysis / Graph theory / Mathematics / Graph

SAT-Based Loop Detection in Graph Rewriting Marcus Ermler University of Bremen, Department of Computer Science P.O.Box, 28334 Bremen, Germany

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:12
145Mathematical logic / Model theory / Symbol / Function / Rewriting / Interpretation / Binary relation / Mathematics / Formal languages / Logic

Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
146Word-sense induction / Clique / Graph / Clustering coefficient / Bipartite graph / Adjacency matrix / Cluster analysis / Line graph / Chordal graph / Graph theory / Algebraic graph theory / Neighbourhood

Chinese Whispers - an Efficient Graph Clustering Algorithm and its Application to Natural Language Processing Problems Chris Biemann University of Leipzig, NLP Department Augustusplatz[removed]Leipzig, Germany

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2010-06-15 07:49:32
147Wojciech Rubinowicz / Arnold Sommerfeld / Physics / Mathematical physics / Science

Prof. Dr. Gerd Rudolph Institute for Theoretical Physics, University of Leipzig, Augustusplatz 10/11, 04109 Leipzig CURRICULUM VITAE Born September 5, 1950, Langenberg

Add to Reading List

Source URL: www.physik.uni-leipzig.de

Language: English - Date: 2009-07-07 08:05:18
148Data / AGRIS / AGROVOC / Linked data / Geopolitical ontology / Resource Description Framework / Metadata / Simple Knowledge Organization System / VoiD / Knowledge representation / Semantic Web / Information

Migrating Bibliographic Datasets to the Semantic Web: the AGRIS case Editor(s): Jens Lehmann, University of Leipzig, Germany; Oscar Corcho, Universidad Politécnica de Madrid, Spain; Richard Cyganiak, DERI Galway, Irelan

Add to Reading List

Source URL: www.semantic-web-journal.net

Language: English
149Phonology / Assimilation / Nasal vowel / Nasalization / Syllable / Xavante language / Polish phonology / Linguistics / Vowels / Phonetics

Transformational language games and the representation of Polish nasal vowels Joanna Zaleska (University of Leipzig) & Andrew Nevins (University College London) This study investigates the underlying representation of na

Add to Reading List

Source URL: nels45.mit.edu

Language: English - Date: 2014-10-28 01:13:59
150Quantum mechanics / Gauge theories / Theoretical physics / Lattice gauge theory / Quantum chromodynamics / Superselection / Yang–Mills theory / Einstein–Cartan theory / Lattice QCD / Physics / Quantum field theory / Lattice models

Prof. Dr. Gerd Rudolph Institute for Theoretical Physics, University of Leipzig Augustusplatz 10/11, 04109 Leipzig List of Publications

Add to Reading List

Source URL: www.physik.uni-leipzig.de

Language: English - Date: 2013-03-25 10:54:06
UPDATE